ГОСТ Р ИСО/МЭК 10746-2-2000: Информационная технология. Взаимосвязь открытых систем. Управление данными и открытая распределенная обработка. Часть 2. Базовая модель

ГОСТ Р ИСО/МЭК 10746-2-2000: Информационная технология. Взаимосвязь открытых систем. Управление данными и открытая распределенная обработка. Часть 2. Базовая модель

Терминология ГОСТ Р ИСО/МЭК 10746-2-2000: Информационная технология. Взаимосвязь открытых систем. Управление данными и открытая распределенная обработка. Часть 2. Базовая модель оригинал документа:

6.3 Абстракция - процесс отбрасывания несущественных деталей для установления упрощенной модели или результат того процесса.

Определения термина из разных документов: Абстракция

6.6 Архитектура (системы) - набор правил для определения структуры системы и взаимосвязей между ее частями.

Определения термина из разных документов: Архитектура

9.16 Введение (<Х>) - реализация <Х>, которая получается не в результате действий объектов в модели.

Примечания

1 <Х> может быть реализован либо созданием, либо введением, но не тем и другим одновременно.

2 Введение не применимо к интерфейсам и действиям, так как они всегда поддерживаются объектами.

Определения термина из разных документов: Введение ("Х")

15.3.2 Воспринимаемая опорная точка - опорная точка, в которой имеется некоторое взаимодействие между системой и физической средой.

Примечания

1 Воспринимаемая опорная точка может быть, например, интерфейсом человек-компьютер или интерфейсом робота (заданным в терминах взаимодействий робота с физической средой).

2 Требования воспринимаемого соответствия интерфейса человек-компьютер устанавливаются в терминах вида информации, предоставляемой человеку, и диалогов, которые могут быть использованы человеком.

3 Воспринимаемая опорная точка, например, может быть установлена в графическом стандарте.

Определения термина из разных документов: Воспринимаемая опорная точка

12.7 Граф наименования - направленный граф, в котором каждая вершина обозначает контекст наименования, а каждое ребро обозначает связь между:

- именем, появляющимся в исходном контексте наименования, и

- целевым контекстом наименования.

Примечание - Существование ребра между двумя контекстами наименования в графе наименования имен означает, что целевой контекст наименования может быть достигнут (идентифицирован) из исходного контекста наименования.

Определения термина из разных документов: Граф наименования

10.1 Группа <Х> - множество объектов с конкретным характеризующим отношением <Х>. Отношение <Х> характеризует либо структурное взаимоотношение между объектами, либо ожидаемое общее поведение объектов.

Примечание - Примерами специализированных групп являются:

а) группа адресации - множество объектов, к которым адресуются одним и тем же способом;

б) группа неисправностей - множество объектов, которые имеют общую зависимость от неисправностей. Например, может быть принято, что, если компьютер неисправен, то все объекты, существующие на этом компьютере, также неисправны;

в) группа взаимодействий - множество объектов, все объекты которого участвуют в одной и той же последовательности взаимодействий со средой;

г) группа устойчивых ответов на неисправности - группа взаимодействий, назначением которой является обеспечение определенного уровня устойчивости относительно некоторых неисправностей.

Определения термина из разных документов: Группа <Х>

3.2.6 данные: Формы представления информации, с которой имеют дело информационные системы и их пользователи.

Определения термина из разных документов: данные

8.3 Действие - нечто, что происходит.

Любое действие, представляющее интерес для целей моделирования, связано по крайней мере с одним объектом.

Набор действий, связанных с объектом, подразделяется на внутренние действия и взаимодействия. Внутреннее действие всегда происходит без участия среды объекта. Взаимодействие происходит с участием среды объекта.

Примечания

1 «Действие» означает «действие имеет место». В зависимости от контекста спецификация может выражать, что действие уже произошло, происходит или может произойти.

2 Подробность действий зависит от проекта. Действие не обязательно должно быть мгновенным. Действия могут перекрываться во времени.

3 Взаимодействия могут быть обозначены в терминах причины и результата взаимоотношений между участвующими объектами. Соответствующие понятия обсуждаются в 13.3.

4 Объект может взаимодействовать сам с собой; в таком случае он рассматривается как исполняющий по крайней мере две роли во взаимодействии, и в таком контексте он может рассматриваться как часть своей собственной среды.

5 Участие среды представляет наблюдаемость. Таким образом, взаимодействия являются наблюдаемыми, а внутренние действия не являются наблюдаемыми потому, что объект замкнут.

Определения термина из разных документов: Действие

8.5 Деятельность - одновершинный направленный ациклический граф действий, где появление каждого действия в графе становится возможным при появлении всех непосредственно предшествующих действий (то есть при появлении всех смежных действий, которые завершаются в этой вершине).

Определения термина из разных документов: Деятельность

13.2.2 Допустимое поведение - поведение, характеризующее набор объектов, который становится возможным в результате устанавливающего поведения.

Допустимое поведение не обязательно должно быть одним и тем же для всех объектов.

Определения термина из разных документов: Допустимое поведение

13.2.5 Завершающее поведение - поведение, которое разрушает соединение и аннулирует соответствующие контрактный контекст и контракт.

Завершающее поведение должно быть явно идентифицировано в контракте как таковое, если устанавливающее поведение было явным.

Определения термина из разных документов: Завершающее поведение

13.1.7 Заглавное действие - действие, которое в данной деятельности не имеет предшественника.

Определения термина из разных документов: Заглавное действие

11.2.6 Запрещение - предписание того, что конкретное поведение не должно осуществляться. Запрещение эквивалентно тому, что есть обязательство не осуществлять это поведение.

Определения термина из разных документов: Запрещение

12.2 Идентификатор - недвусмысленное имя в данном контексте наименования.

Определения термина из разных документов: Идентификатор

11.3.2 Изохронность - последовательность действий является изохронной, если каждая соседняя пара действий в последовательности занимает во времени уникальные, смежные интервалы одинакового размера.

Определения термина из разных документов: Изохронность

12.5 Именующее действие - действие, которое связывает термин из пространства имен с данной категорией.

Все именующие действия относятся к контексту наименования.

Определения термина из разных документов: Именующее действие

12.1 Имя - термин, который в данном контексте наименования указывает на категорию.

Определения термина из разных документов: Имя

9.22 Инвариант - предикат, задающий требования, которые должны быть справедливы на протяжении всего времени жизни множества объектов.

Определения термина из разных документов: Инвариант

13.3.1 Инициирующий объект (относительно связи) - объект, вызывающий связь.

Примечание - Идентификация инициирующего объекта относительно связи включает в себя интерпретацию назначения связи.

Определения термина из разных документов: Инициирующий объект

8.4 Интерфейс - абстракция поведения объекта, которая состоит из подмножества взаимодействий этого объекта и набора ограничений на то, когда они могут происходить.

Каждое взаимодействие объекта относится к единственному интерфейсу. Таким образом, интерфейсы объекта образуют разделение на части взаимодействий данного объекта.

Примечания

1 Интерфейс образует часть поведения объекта, которая получается при рассмотрении только взаимодействий этого интерфейса и сокрытии всех других взаимодействий. Скрытые взаимодействия других интерфейсов, вообще говоря, будут вводить неопределенность до тех пор, пока рассматривается только данный интерфейс.

2 Фраза «интерфейс между объектами» используется для указания на связь (см. 13.4.2) между интерфейсами рассматриваемых объектов.

Определения термина из разных документов: Интерфейс

3.2.5 информация: Любой вид знаний, которыми могут обмениваться пользователи, о предметах, фактах, понятиях и так далее в некотором универсуме.

Хотя информация обязательно имеет форму представления, допускающую ее передачу, интерпретация этого представления (смысл) является как раз тем, что интересует в первую очередь.

Определения термина из разных документов: информация

6.1 Категория - любой рассматриваемый конкретный или абстрактный предмет. Хотя, вообще говоря, слово категория может использоваться для ссылки на что угодно, в контексте моделирования оно зарезервировано для ссылки на предметы в моделируемом универсуме.

Определения термина из разных документов: Категория

11.2.2 Качество услуги - набор требований качества к коллективному поведению одного или нескольких объектов.

Качество услуги может быть задано в контракте или измерено и сообщено после события. Качество услуги может быть параметризовано.

Примечание - Качество услуги относится к таким характеристикам, как скорость передачи информации, время ожидания, вероятность разрыва связи, вероятность отказа системы, вероятность отказа памяти и т.д.

Определения термина из разных документов: Качество услуги

9.8 Класс (<Х> ¢ов) - совокупность всех <Х>¢ов, удовлетворяющих типу (см. 9.7). Элементы множества называются членами класса.

Примечания

1 Класс может не иметь членов.

2 Изменяется ли размер множества со временем, зависит от определения типа.

Определения термина из разных документов: Класс (<Х> ¢ов)

9.20 Класс шаблонов (<Х>) - набор всех <Х>¢ов, удовлетворяющих типу шаблона <Х>, то есть набор <Х>¢ов, которые являются экземплярами шаблона <Х>. <Х> может быть чем-либо, что имеет тип (см. 9.7).

Каждый шаблон определяет единственный класс шаблона, так что можно ссылаться на экземпляры шаблона как на экземпляры класса-шаблона.

Понятие класса используется для указания родовой классификации <Х>¢ов. Класс шаблона является более ограничивающим понятием, если рассматривать те члены класса шаблона, которые реализуются из шаблона (или из его подтипов), то есть те <Х>, которые удовлетворяют типу шаблона <Х>.

Примечание - Задавая тип шаблона, можно сократить утверждение, что «класс шаблонов, связанный с шаблоном А, является подклассом класса шаблонов, связанного с шаблоном В» до «шаблон А является подклассом шаблона В» или «шаблон А является подтипом шаблона В».

x002.jpg

Рисунок 1 - Взаимоотношения между шаблонами, реализациями и экземплярами

Определения термина из разных документов: Класс шаблонов (<Х>)

12.4 Контекст наименования - взаимоотношение между множеством имен и множеством категорий. Множество имен относится к одному пространству имен.

Определения термина из разных документов: Контекст наименования

11.2.1 Контракт - соглашение, управляющее частью коллективного поведения набора объектов. Контракт специфицирует обязательства, разрешения и запрещения для участвующих объектов.

Спецификация контракта может содержать:

а) спецификацию различных ролей, которые могут выполнять объекты, участвующие в контракте, и интерфейсы, связанные с этими ролями;

б) атрибуты качества услуги (см. 11.2.2);

в) указания продолжительности или периодов действия контракта;

г) указания поведения, которое нарушает контракт;

д) условия живучести и сохранности.

Примечания

1 Объекты в контракте не обязательно должны быть иерархически связаны, а могут быть связаны по принципу «равный к равному». Требования контракта не обязательно применимы одним и тем же образом ко всем участвующим объектам.

2 Контракт может применяться к заданной опорной точке в системе. В этом случае он задает поведение, которое может ожидаться в этой опорной точке.

3 Шаблон объекта представляет собой простой пример контракта. Шаблон объекта задает поведение, общее для совокупности объектов. Тем самым он определяет, что среда любого такого объекта может зависеть от его поведения. Отметим, что для частичных спецификаций шаблон объекта оставляет неопределенным поведение объекта при определенных условиях среды (например, конкретные взаимодействия); контракт распространяется только на специфицированное поведение.

Определения термина из разных документов: Контракт

11.2.3 Контракт среды - контракт между объектом и его средой, включая ограничения качества услуги, ограничения использования и управления. Ограничения качества услуги включают в себя:

- временные ограничения (например, предельный срок);

- объемные ограничения (например, пропускную способность);

- ограничения зависимости, охватывающие вопросы доступности, надежности, сопровождаемости, безопасности и сохранности (например, средняя наработка на отказ).

Ограничения использования и управления включают в себя:

- ограничения положения (то есть выбранные положения в пространстве и времени);

- ограничения прозрачности распределения (то есть выбранные прозрачности распределения).

Ограничения качества услуги могут подразумевать ограничения использования и управления.

Например, некоторые ограничения качества услуги (такие, как доступность) удовлетворяются предоставлением одной или нескольких прозрачностей распределения (такой, как дублирование).

Ограничения среды могут описывать:

- требования, устанавливаемые для среды объекта для его конкретного поведения;

- ограничения на поведение объекта в конкретной среде.

Определения термина из разных документов: Контракт среды

13.2.3 Контрактный контекст - знание того, что конкретный контракт действует и, таким образом, требуется конкретное поведение множества объектов.

Объект может находиться в нескольких контрактных контекстах одновременно; его поведение ограничивается пересечением поведений, предписанных каждым контрактным контекстом.

Примечание - В ВОС понятие контекста представления является примером контрактного контекста, который может быть принят при установлении соединения или позже.

Определения термина из разных документов: Контрактный контекст

10.2 Конфигурация (объектов) - совокупность объектов, способных взаимодействовать через интерфейсы. Конфигурация определяет набор объектов, участвующих в каждом взаимодействии.

Спецификация конфигурации может быть статической или выраженной в терминах действия динамического механизма, который изменяет конфигурацию, как операции связывания и развязывания (см. 13.4).

Примечание - Конфигурация может быть выражена в терминах понятий параллельной композиции. Процесс композиции создает объект, эквивалентный конфигурации на другом уровне абстракции.

Определения термина из разных документов: Конфигурация

13.5.3 Неисправность - ситуация, которая может вызывать появление ошибок в объекте.

Примечания

1 Неисправности, вызывающие ошибки, могут появляться со времени спецификации объекта до времени его уничтожения. Неисправности в предшествующую эпоху (например, неисправности проекта) могут не привести к отказу в более позднюю эпоху (например, во время выполнения).

2 Неисправность является активной или ожидающей. Неисправность является активной, когда вызывает ошибки. Присутствие активных неисправностей обнаруживается только путем выявления ошибок.

3 Неисправности могут быть:

- случайными (которые появляются или создаются случайно) или преднамеренными (созданными преднамеренно);

- естественными (из-за каких-либо физических процессов) или искусственными (возникающими в результате человеческого поведения);

- внутренними (часть состояния объекта, которая может вызывать ошибки) или внешними (возникающими в результате взаимодействия со средой);

- постоянными или временными.

4 Определения неисправности, ошибки и отказа подразумевают причинную зависимость между ними:

- неисправность может привести к ошибке (она приводит к ошибке, если становится активной);

- ошибка может привести к отказу системы (ошибка приводит к отказу системы, если система не может ее обработать);

- отказ происходит тогда, когда ошибка влияет на корректность услуги, предоставляемой системой (или компонентом системы).

Определения термина из разных документов: Неисправность

10.3 Область <Х> - множество объектов, каждый из которых связан характеризующим отношением <Х> с управляющим объектом.

Каждая область имеет управляющий объект, связанный с ней.

Управляющий объект может определять идентичность совокупности объектов, которые образуют соответствующую область. Управляющий объект может взаимодействовать с управляемым объектом динамически или можно считать, что взаимодействие произошло в предшествующую эпоху (см. 10.5) управляющего объекта. Вообще говоря, управляющий объект не является членом связанной с ним области.

Примечания

1 В терминах предпринимателя, управляющим объектом в области может проводиться различная политика.

2 Области могут быть разделенными или перекрывающимися.

3 По определению, область является группой, но не наоборот.

4 Примерами специализированных областей являются:

Область

Член класса

Отношение

Управляющий класс

безопасности

Обрабатывающий объект

Подчиняется политике, установленной

Объект «уполномоченный по защите»

управления

Управляемый объект

Объект «область управления»

адресации

Адресуемый объект

Адрес, выделенный

Объект «уполномоченный по адресации»

наименования

Поименованный объект

Имя, выделенное

Объект «уполномоченный по наименованию»

Определения термина из разных документов: Область <Х>

12.6 Область наименования - подмножество контекста наименования такое, что все именующие действия осуществляются управляющим объектом области (объектом, уполномоченным по наименованию).

Примечание - «Область наименования» является примером понятия области <Х> (см. 10.3).

Определения термина из разных документов: Область наименования

13.1.3 Объединяющее действие - действие совместно используемое двумя или несколькими цепочками, результатом чего является одна цепочка.

Определения термина из разных документов: Объединяющее действие

8.1 Объект - модель категории. Объект характеризуется своим поведением (см. 8.6) и, двойственно, своим состоянием (см. 8.7). Объект отличается от любого другого объекта. Объект замкнут, то есть любое изменение его состояния может происходить только в результате внутреннего действия или взаимодействия (см. 8.3) с его средой (см. 8.2).

Объект взаимодействует со своей средой в точках взаимодействия (см. 8.11).

В зависимости от точки зрения акцент может быть сделан на поведение или состояние. Когда акцент сделан на поведение, то неформально говорят, что объект выполняет функции и предлагает услуги (об объекте, который делает функцию доступной, говорят, что он предлагает услугу). Для целей моделирования эти функции и услуги определены в терминах поведения объекта и его интерфейсов (см. 8.4). Объект может выполнять более одной функции. Функция может выполняться совместно несколькими объектами в кооперации.

Примечания

1 Понятия услуги и функции неформально используются для выражения цели части стандартизации. В семействе стандартов ОРО функция и услуга формально выражаются в терминах спецификации поведения объектов и интерфейсов, которые они поддерживают. «Услуга» является частной абстракцией поведения, выражающей гарантии, предлагаемые поставщиком услуг.

2 Выражение «использование функции» является сокращением для выражения «взаимодействие с объектом, выполняющим функцию».

Определения термина из разных документов: Объект

13.3.5 Объект-клиент - объект, который запрашивает, чтобы функция была осуществлена другим объектом.

Определения термина из разных документов: Объект-клиент

13.3.6 Объект-сервер - объект, который осуществляет некоторую функцию в интересах объекта-клиента.

Взаимоотношения клиент/сервер различной природы (или уровня абстракции) могут существовать между объектом и различными композициями объектов, с которыми они взаимодействуют.

Примечание - Неформально говорят, что сервер предоставляет услугу, запрошенную клиентом.

Определения термина из разных документов: Объект-сервер

11.2.4 Обязательство - предписание, которым требуется конкретное поведение. Обязательство выполняется осуществлением предписанного поведения.

Определения термина из разных документов: Обязательство

10.6 Опорная точка - точка взаимодействия, определенная в архитектуре для выбора в качестве точки соответствия в спецификации, согласующейся с этой архитектурой.

В ОРО идентифицированы важные классы опорных точек; подробности и отношение моделирования к соответствию приведены в разделе 15.

Определения термина из разных документов: Опорная точка

15.3.3 Опорная точка взаимодействия - опорная точка, в которой может быть установлен интерфейс, допускающий взаимодействие между двумя или несколькими системами. Требование соответствия взаимодействия устанавливается в терминах обмена информацией между двумя или несколькими системами. Соответствие взаимодействия включает в себя взаимодействие опорных точек.

Примечание - Например, стандарты ВОС основаны на взаимодействии опорных точек взаимодействия (физической среды).

Определения термина из разных документов: Опорная точка взаимодействия

15.3.4 Опорная точка обмена - опорная точка, в которой может быть введена в систему внешняя физическая среда хранения. Требование соответствия обмена устанавливается в терминах поведения (методов доступа и форматов) некоторой физической среды так, что информация может быть записана в одной системе, а затем физически перенесена, прямо или косвенно, для использования в другой системе.

Примечание - Например, некоторые стандарты по обмену информацией, основаны на опорных точках обмена.

Определения термина из разных документов: Опорная точка обмена

13.3.2 Отвечающий объект - объект, принимающий участие в связи, но не являющийся инициирующим объектом.

Определения термина из разных документов: Отвечающий объект

13.5.1 Отказ - нарушение контракта.

Примечания

1 Поведение, заданное в контракте, по определению, является «корректным поведением». Таким образом, отказ является отклонением от согласованности с корректным поведением.

2 Способы, которыми объект может отказывать, называются характером отказа. Различают несколько типов характера отказа:

- произвольные отказы (несоответствие спецификации - наиболее общий характер отказа);

- отказ пропуска (когда ожидаемые взаимодействия не происходят);

- аварийные отказы (постоянно присутствующие отказы пропуска);

- отказы по времени (некорректности связанные с несвоевременным поведением).

3 Отказ может по-разному восприниматься разными объектами. Отказ может быть: непротиворечивым, если все восприятия отказа объектами одинаковы; противоречивым, если объекты в среде могут иметь разные восприятия данного отказа.

Определения термина из разных документов: Отказ

3.2.3 открытая распределенная обработка: Распределенная обработка, соответствующая стандартам ОРО.

Определения термина из разных документов: открытая распределенная обработка

13.5.2 Ошибка - часть состояния объекта, которая ответственна за возникновение отказов. Проявление неисправности (см. 13.5.3) в объекте.

Примечания

1 Приведет ли ошибка фактически к отказу, зависит от декомпозиции объекта, его внутренней избыточности и поведения объекта. Корректирующее действие может предотвратить возникновение отказа из-за ошибки.

2 Ошибка может быть скрытой (то есть не распознанной как таковая) или обнаруженной. Ошибка может исчезнуть до того, как будет обнаружена.

Определения термина из разных документов: Ошибка

15.4.2 Перемещаемость - способность изменять конфигурацию, заменяя одну опорную точку объекта на другую во время использования объекта.

Определения термина из разных документов: Перемещаемость

15.4.1 Переносимость - свойство опорных точек объекта, позволяющие им адаптироваться к изменению конфигураций.

Примечание - Если опорная точка является программируемой опорной точкой, то результатом может быть переносимость исходного кода или выполнения. Если опорная точка является точкой взаимодействия, то результатом является переносимость оборудования.

Определения термина из разных документов: Переносимость

8.6 Поведение (объекта) - совокупность действий с набором ограничений на то, когда они могут происходить.

Используемый язык спецификаций определяет ограничения, которые могут быть на нем выражены. Ограничения могут включать в себя, например, ограничения последовательности, неопределенности, параллелизма или реального времени.

Поведение может включать в себя внутренние действия.

Действия, которые фактически имеют место, ограничиваются средой, в которой находится объект.

Примечания

1 Композиция (см. 9.1) совокупности объектов неявно порождает эквивалентный объект, предоставляющий эту композицию. Поведение этого объекта часто называется поведением совокупности объектов.

2 Действие и деятельность являются вырожденными случаями поведения.

3 Вообще говоря, с данным поведением совместимы несколько последовательностей взаимодействий.

Определения термина из разных документов: Поведение

9.4 Поведенческая совместимость - объект является поведенчески совместимым со вторым объектом относительно набора критериев (см. примечания), если первый объект может заменить второй объект так, что среда не сможет установить различие в поведении объектов на основе набора критериев.

Обычно, критерии устанавливают ограничения на допустимое поведение среды. Если критерии таковы, что среда ведет себя как тестер для исходного объекта, то есть среда определяет наименьшее поведение, которое не ограничивает поведение исходного объекта, то результирующее отношение поведенческой совместимости называется расширением.

Критерии могут допускать замену объектом, который получается при модификации объекта, несовместимого в других отношениях, для того, чтобы замена стала приемлемой. Примером такой модификации может быть сокрытие дополнительных параметров в определенных взаимодействиях. Таким образом, взаимодействие нового объекта может быть сделано похожим на взаимодействие исходного объекта. В таких случаях поведенческая совместимость называется приведенной поведенческой совместимостью. Если модификации не нужны, то поведенческая совместимость называется естественной поведенческой совместимостью.

Понятие поведенческой совместимости, определенное выше для объектов, подходит для поведенческой совместимости шаблонов и типов шаблона.

Поведенческая совместимость рефлексивна, но не обязательно симметрична или транзитивна (хотя может иметь одно или оба из этих свойств).

Примечания

1 Набор критериев зависит от используемого языка и применяемой теории тестирования.

2 Поведенческая совместимость (относительно набора критериев) может быть определена для шаблонов (см. 9.11) и типов шаблонов (см. 9.19), таким образом:

а) если S и Т - являются шаблонами объектов, то говорят, что S является поведенчески совместимым с Т тогда и только тогда, когда любая S-реализация поведенчески совместима с некоторой Т-реализацией (см. 9.13);

б) если U и V являются типами шаблонов объекта, то говорят, что U и V являются поведенчески совместимыми, если соответствующие им шаблоны поведенчески совместимы.

Определения термина из разных документов: Поведенческая совместимость

13.1.8 Поддеятельность - подграф деятельности, который сам является деятельностью и удовлетворяет следующему условию для любой пары разветвляющих объединяющих действий в порождающей деятельности, если одно из этих действий входит в подграф, то и оба должны входить в подграф.

Определения термина из разных документов: Поддеятельность

9.10 Подкласс/суперкласс - класс А является подклассом другого класса В, а В является суперклассом А только тогда, когда тип, связанный с А, является подтипом типа, связанного с В.

Примечание - Подкласс, по определению, является подмножеством любого из его суперклассов.

Определения термина из разных документов: Подкласс/суперкласс

10.4 Подобласть - область, которая является подмножеством данной области.

Определения термина из разных документов: Подобласть

9.9 Подтип/супертип - тип А является подтипом типа В, а В является супертипом А, если каждый <Х>, который удовлетворяет А, также удовлетворяет В.

Отношения подтипа и супертипа рефлексивны, транзитивны и антисимметричны.

Определения термина из разных документов: Подтип/супертип

11.2.7 Политика - набор правил, относящихся к конкретной цели. Правило может быть выражено как обязательство, разрешение или запрещение.

Примечание - Не каждая политика является ограничением. Некоторые политики предоставляют полномочие.

Определения термина из разных документов: Политика

8.9 Положение в пространстве - интервал произвольного размера в пространстве, на котором может происходить действие.

Определения термина из разных документов: Положение в пространстве

8.10 Положение во времени - интервал произвольного размера во времени, на котором может происходить действие.

Примечания

1 Протяженность интервала во времени или в пространстве выбирается для отражения требований конкретной задачи спецификации и свойств конкретного языка спецификаций. Единственное положение в одной спецификации может подразделяться на несколько во времени или в пространстве (или и в том, и другом) в других спецификациях. В конкретных спецификациях положение в пространстве или во времени определяется относительно некоторой подходящей системы координат.

2 Обобщая, положение объекта является объединением положений действий, в которых объект может принимать участие.

Определения термина из разных документов: Положение во времени

13.1.6 Порождающее действие - разделяющее действие, когда допустимые цепочки не будут объединяться. Допустимые цепочки могут взаимодействовать и могут завершаться по отдельности.

Определения термина из разных документов: Порождающее действие

11.3.1 Постоянство - свойство того, что объект продолжает существовать при изменениях контрактного контекста (см. 13.2.3) или эпохи.

Определения термина из разных документов: Постоянство

9.24 Постусловие - предикат, задающий требования, которые должны быть справедливы непосредственно после осуществления действия.

Определения термина из разных документов: Постусловие

13.3.4 Потребляющий объект (относительно связи) - объект, который является приемником переданной информации.

Использование этого термина не подразумевает какого-либо конкретного метода связи.

Определения термина из разных документов: Потребляющий объект

7.2 Предложение - лингвистическая конструкция, содержащая один или несколько терминов и предикатов; предложение может использоваться для выражения утверждения относительно категорий, на которые ссылаются термины.

Предикат в предложении может рассматриваться как ссылка на взаимоотношения между категориями, указанными связанными с ними терминами.

Определения термина из разных документов: Предложение

9.23 Предусловие - предикат, задающий требования, которые должны быть справедливы для того, чтобы действие осуществилось.

Определения термина из разных документов: Предусловие

13.4.3 Предусловие связывания - набор условий, требуемых для успешного выполнения связывающего поведения.

Объекты, осуществляющие связывающее поведение, должны иметь идентификаторы для всех интерфейсов, участвующих в связывании. Могут существовать дополнительные предусловия.

Определения термина из разных документов: Предусловие связывания

14.1 Прикладное управление - управление приложениями в системе ОРО. Некоторые вопросы прикладного управления являются общими для всех приложений и называются независящим от приложения управлением. Те вопросы, которые являются специфическими для данного приложения, называются специфическими для приложения управлением.

Определения термина из разных документов: Прикладное управление

15.3.1 Программируемая опорная точка - опорная точка, в которой для доступа к функции может быть установлен программный интерфейс. Требование программируемого соответствия устанавливается в терминах поведенческой совместимости с целью замены одного объекта другим. Программируемый интерфейс является интерфейсом, который реализуется через связь с языком программирования.

Примечание - Например, программируемая опорная точка может быть установлена в стандарте баз данных для обеспечения связи с языком на некотором уровне абстракции.

Определения термина из разных документов: Программируемая опорная точка

11.1.1 Прозрачность распределения - свойство сокрытия от конкретного пользователя потенциального поведения некоторых частей распределенной системы.

Примечание - Пользователями могут быть, например, конечные пользователи, прикладные разработчики и реализаторы функций.

Определения термина из разных документов: Прозрачность распределения

9.21 Производный класс/базовый класс - если шаблон А является возрастающей модификацией шаблона В, то класс шаблонов СА экземпляров А является производным классом класса шаблонов СВ экземпляров В, а СВ является базовым классом СА.

Критерий того, чтобы рассматривать изменения в качестве возрастающей модификации, зависит от метрик и соглашений, не входящих в область действия настоящего стандарта. Если критерии позволяют, то производный класс может иметь несколько базовых классов.

Возрастающая модификация связанных шаблонов должна гарантировать, что ссылка на самого себя или рекурсия в шаблоне базового класса становится ссылкой на самого себя или рекурсией в шаблоне производного класса.

Возрастающая модификация может, в общем случае, включать в себя добавление или изменение свойств базового шаблона для получения производного шаблона.

Классы могут быть упорядочены в иерархию наследования в соответствии с соотношениями производный класс/базовый класс. Это является интерпретацией наследований в базовой модели ОРО. Если классы могут иметь несколько базовых классов, то говорят, что наследование является кратным. Если критерии запрещают подавление свойств базового класса, то говорят, что наследование является строгим.

Один класс может быть подклассом другого класса, не будучи производным классом, и быть производным классом, не будучи подклассом. Следовательно, иерархия наследования (когда дуги обозначают отношение производного класса) и иерархия типов (когда дуги обозначают отношения подтипов или подклассов) являются логически различными, хотя могут совпадать полностью или частично.

Определения термина из разных документов: Производный класс/базовый класс

13.3.3 Производящий объект (относительно связи) - объект, который является источником передаваемой информации.

Использование этого термина не подразумевает какого-либо конкретного метода связи.

Определения термина из разных документов: Производящий объект

12.3 Пространство имен - набор терминов, используемых в качестве имен.

Определения термина из разных документов: Пространство имен

13.1.5 Разветвляющее действие - разделяющее действие, когда допустимые цепочки должны (в случае отказа) в конце объединиться друг с другом, то есть допустимые цепочки не могут объединяться с другими цепочками и завершаться по отдельности.

Определения термина из разных документов: Разветвляющее действие

13.4.4 Развязывающее поведение - поведение, которое завершает связывание, то есть завершающее поведение для связывания.

Определения термина из разных документов: Развязывающее поведение

13.1.4 Разделяющее действие - действие, которое допустимо для двух или нескольких цепочек. Имеются два случая разделяющего действия в зависимости от того, требуется ли объединение допустимых цепочек.

Определения термина из разных документов: Разделяющее действие

11.2.5 Разрешение - предписание, которое позволяет осуществлять конкретное поведение. Разрешение эквивалентно тому, что нет обязательства не осуществлять это поведение.

Определения термина из разных документов: Разрешение

12.8 Разрешение имени - процесс, с помощью которого, задавая исходное имя и исходный контекст наименования, может быть найдена связь между именем и категорией, обозначенной исходным именем.

Примечание - Процесс разрешения имени не обязательно предоставляет достаточно информации для взаимодействия с указанной категорией.

Определения термина из разных документов: Разрешение имени

3.2.1 распределенная обработка: Обработка информации, в которой дискретные компоненты могут быть расположены в различных местах, а связь между компонентами может иметь задержку или оказаться неудачной.

Определения термина из разных документов: распределенная обработка

9.13 Реализация (шаблона <Х>) - <Х>, полученный из данного шаблона <Х> и другой необходимой информации. Этот <Х> демонстрирует характеристики, специфицированные в шаблоне <Х>. <Х> может быть чем-нибудь, что имеет тип (см. 9.7).

Данное здесь определение является родовым: как реализовать шаблон <Х> зависит от используемого языка спецификаций. Реализация шаблона <Х> может включать в себя актуализацию параметров, которая, в свою очередь, может включать в себя реализацию других шаблонов <Х> или связывание существующих интерфейсов (см. 12.4).

Примечания

1 Реализация шаблона действия приводит к осуществлению действия. Фраза «реализация шаблона действия» не рекомендуется. Предпочтительнее использовать «осуществление действия».

2 Если <Х> является объектом, то он реализуется в своем начальном состоянии. Объект может участвовать во взаимодействиях непосредственно после реализации.

3 Реализации разных шаблонов могут соответствовать одному и тому же типу. Реализации одного и того же шаблона могут соответствовать разным типам.

Определения термина из разных документов: Реализация (шаблона <Х>)

9.14 Роль - идентификатор поведения, который может появляться как параметр в шаблоне составного объекта и который связан с одним из компонентов объектов составного объекта.

Спецификация шаблона как композиции ролей позволяет объяснить процесс реализации как связывание заданных компонентов результирующего составного объекта с соответствующими ролями. Связь компонента с ролью может быть результатом актуализации параметров.

Определения термина из разных документов: Роль

13.1.2 Связка - цепочка действий, когда по крайней мере один объект участвует во всех действиях цепочки.

Объект может быть ассоциирован с одной единственной связкой или с несколькими связками одновременно.

Определения термина из разных документов: Связка

13.4.2 Связывание - контрактный контекст, возникающий из данного устанавливающего поведения.

Устанавливающее поведение, контрактный контекст и допустимое поведение могут вовлекать два или несколько интерфейсов объектов.

Объект, который инициирует устанавливающее поведение, может участвовать или не участвовать в последующем допустимом поведении.

Допустимое поведение (и, аналогично, контрактный контекст) может быть однородным (то есть каждый участвующий объект может выполнять те же самые действия, что и любой другой) или неоднородными (то есть один участвующий объект играет роль, отличную от других ролей, как в случае клиент/сервер).

Соответствие между объектом, который инициирует устанавливающее поведение, и конкретной ролью в неоднородных допустимых поведениях необязательно должно быть однозначным (например, в контрактном контексте клиент-сервер любой объект может инициировать устанавливающее поведение).

Определения термина из разных документов: Связывание

13.4.1 Связывающее поведение - устанавливающее поведение между двумя или несколькими интерфейсами (и, следовательно, между поддерживающими их объектами).

Примечание - «Связать» означает «выполнить связывающее поведение».

Определения термина из разных документов: Связывающее поведение

8.8 Связь - перенос информации между двумя или несколькими объектами в результате одного или нескольких взаимодействий, привлекающих, возможно, некоторые промежуточные объекты.

Примечания

1 Связь может быть помечена в терминах причины и результата взаимоотношений между участвующими объектами. Соответствующие понятия обсуждаются в 13.3.

2 Каждое взаимодействие является экземпляром связи.

Определения термина из разных документов: Связь

9.12 Сигнатура интерфейса - набор шаблонов действий, связанных со взаимодействиями интерфейса.

Объект может иметь много интерфейсов с одной и той же сигнатурой.

Определения термина из разных документов: Сигнатура интерфейса

6.5 Система - нечто, рассматриваемое как целое или составленное из частей. Следовательно, система может рассматриваться как категория. Компонент системы сам может быть системой и, в этом случае, он называется подсистемой.

Примечание - Для процесса моделирования, понятие системы понимается в его общем системно-теоретическом смысле. Термин «система» может относиться к системе обработки информации, но он может применяться и более широко.

Определения термина из разных документов: Система

3.2.4 система ОРО: Система (см. 6.5), которая соответствует требованиям стандартов ОРО.

Определения термина из разных документов: система ОРО

13.2.4 Соединение - взаимоотношения между набором объектов, которое является результатом осуществления некоторого устанавливающего поведения; констатация наличия контрактного контекста вообще.

Соединение характеризуется соответствующим допустимым поведением.

Примечания

1 Примерами соединений, которые получаются в результате различных устанавливающих поведений, являются:

а) диалог (как в ВОС-ОТ);

б) связывание (см. 13.4.2);

в) распределенная транзакция (как в ВОС-ОТ);

г) (N)-соединение (как в ВОС);

д) ассоциация между (N)-объектами, позволяющая им участвовать в (N)-передаче без установления соединения (как в ВОС);

е) взаимоотношения между файлами и процессами, которые обращаются к этим файлам.

2 Некоторые поведения могут быть обусловлены установлением кратных взаимосвязанных соединений. Например, распределенная транзакция может зависеть как от соединения между пользователями транзакции, так и от поддерживающей ассоциации. Соединение между пользователями транзакции (распределенная транзакция) может продолжать существовать, но быть неактивным, когда ассоциация разрушена.

3 В соединение могут быть вовлечено более двух объектов. Не обязательно все объекты, вовлеченные в соединение, имеют эквивалентные роли. Так, могут быть соединения для сбора или распределения информации. Число участников и их роли определяются контрактом, который выражен соединением.

4 Имеется двойственность между контрактным контекстом, принятием контрактного обязательства спецификации и допустимым поведением. На практике, структуры могут быть произвольно вложенными и при установлении соединения на одном уровне может быть также согласован контракт, который допускает внутренние уровни соединения.

Определения термина из разных документов: Соединение

9.15 Создание (<Х>) - реализация X, которая получается в результате действий объектов в модели. <Х> может быть чем-либо, что может быть реализовано, в частности, объектом и интерфейсом.

Если <Х> является интерфейсом, то он либо создается как часть создания данного объекта, либо как дополнительный интерфейс к созданному объекту. В результате любой данный интерфейс должен быть частью объекта.

Определения термина из разных документов: Создание (<Х>)

9.2 Составной объект - объект, выраженный как композиция.

Определения термина из разных документов: Составной объект

8.7 Состояние (объекта) - положение объекта в данный момент времени, определяющее набор всех последовательностей действий, в которых объект может принять участие.

Так как, вообще говоря, поведение включает в себя много возможных последовательностей действий, в которых объект может принять участие, знание состояния не обязательно позволяет предсказать последовательность действий, которая произойдет на самом деле.

Изменения состояния осуществляются действиями; следовательно, состояние частично определяется предыдущими действиями, в которых объект принимал участие.

Так как объект замкнут, то его состояние не может быть изменено непосредственно из среды, а только косвенно, в результате взаимодействий, в которых объект принимает участие.

Определения термина из разных документов: Состояние

8.2 Среда (объекта) - часть модели, которая не является частью данного объекта.

Примечание - Во многих языках спецификации среда может рассматриваться как содержащая по крайней мере один объект, который способен без ограничения участвовать во всех возможных взаимодействиях (см. 8.3), представляя процесс наблюдения.

Определения термина из разных документов: Среда

3.2.2 стандарты ОРО: Данная базовая модель и те стандарты, которые согласуются с ней прямо или косвенно.

Определения термина из разных документов: стандарты ОРО

7.1 Термин - лингвистическая конструкция, которая может использоваться для ссылки на категорию.

Ссылка может быть на категорию любого вида, включая модель категории или другую лингвистическую конструкцию.

Определения термина из разных документов: Термин

9.7 Тип (<Х> ¢а) - предикат, характеризующий совокупность <Х>¢ов. <Х> имеет тип или соответствует типу, если предикат выполняется для этого <Х>. Спецификация определяет, какие используемые ею термины имеют типы, то есть являются <Х>¢ами. В БМ-ОРО типы необходимы по крайней мере для объектов, интерфейсов и действий.

Назначение типа - классифицировать категории, некоторые из которых могут быть интересны для спецификатора (см. понятие класса в 9.8).

Определения термина из разных документов: Тип (<Х> ¢а)

9.19 Тип шаблона (<Х>ов) - предикат, определенный в шаблоне, который справедлив для всех реализаций шаблона и выражает требования реализаций шаблона, которые должны быть выполнены.

Отношение подтип/супертип шаблона объектов не обязательно совпадает с поведенческой совместимостью. Экземпляры типа шаблона не обязательно поведенчески совместимы с реализациями соответствующего шаблона. Они совпадают, если:

а) рассматривается транзитивное отношение поведенческой совместимости, и

б) подтипы шаблона поведенчески совместимы со своими супертипами шаблона.

Примечания

1 Это понятие охватывает понятие замещаемости.

2 Форма предиката, который выражает тип шаблона, зависит от используемого языка спецификаций.

3 «Экземпляры шаблона Т», по определению, являются «экземплярами типа шаблона, связанного с шаблоном Т».

4 На рисунке 1 показаны взаимоотношения между некоторыми из понятий: тип шаблона, класс шаблона и т.д. Набор экземпляров t содержит как набор реализаций t, так и набор всех реализаций подтипов t. Наборы реализаций различных шаблонов всегда разделены.

Определения термина из разных документов: Тип шаблона (<Х>ов)

13.4.5 Торг - взаимодействие между объектами, при котором они обмениваются информацией о новых или потенциальных контрактах через объект третьей стороны. Торг включает в себя:

а) экспортирование - предоставление идентификатора для интерфейса, который объявляется удовлетворяющим некоторым объявленным требованиям (то есть предложение потенциального контракта);

б) импортирование - предоставление идентификатора для интерфейса, который согласуется с данными объявленными требованиями, позволяющими осуществить последующее связывающее поведение (то есть установление контракта).

Определения термина из разных документов: Торг

8.11 Точка взаимодействия - положение, в котором существует набор интерфейсов.

В любой данный момент времени точка взаимодействия связывается с положением в пространстве с точностью, допускаемой используемым языком спецификаций. В одном и том же месте могут существовать несколько точек взаимодействия. Точка взаимодействия может быть мобильной.

Определения термина из разных документов: Точка взаимодействия

3.2.7 точка зрения (в системе): Форма абстракции, достигаемая использованием выбранного множества архитектурных понятий и структурных правил для того, чтобы сосредоточиться на конкретных понятиях в системе.

Определения термина из разных документов: точка зрения (в системе)

10.7 Точка соответствия - опорная точка, в которой поведение может быть наблюдаемо с целью проверки соответствия.

Определения термина из разных документов: Точка соответствия

9.6 Трассировка - запись взаимодействий объекта от его начального состояния до некоторого другого.

Трассировка объекта, таким образом, является конечной последовательностью взаимодействий. Поведение однозначно определяет множество всех возможных трассировок, но не наоборот. Трассировка не содержит записи внутренних действий объекта.

Определения термина из разных документов: Трассировка

14.6 Уведомление - взаимодействие, инициированное объектом, играющим управляющую роль.

Определения термина из разных документов: Уведомление

9.17 Удаление (<Х>) - действие, разрушающее реализованный <Х>. <Х> может быть чем-либо, что может быть реализовано, в частности, объектом и интерфейсом.

Если <Х> является интерфейсом, то он может быть удален только объектом, с которым связан.

Примечание - Удаление действия не имеет смысла: действие уже случилось.

Определения термина из разных документов: Удаление (<Х>)

14.2 Управление коммуникацией - управление объектами, которые обеспечивают коммуникацию между объектами в системе ОРО.

Определения термина из разных документов: Управление коммуникацией

Управления коммуникацией

14.2

Определения термина из разных документов: Управления коммуникацией

14.4 Управляемая роль - вид управляющего интерфейса объекта, которым управляют в системе ОРО.

Примечание - Когда объект обеспечивает услуги взаимосвязи ВОС, управление ВОС относится к управляющему интерфейсу как к управляемому объекту.

Определения термина из разных документов: Управляемая роль

14.3 Управляющая информация - относящееся к управлению знание об объектах.

Определения термина из разных документов: Управляющая информация

14.5 Управляющая роль - вид объекта, который выполняет управляющие действия.

Определения термина из разных документов: Управляющая роль

13.2.1 Устанавливающее поведение - поведение, с помощью которого данный контракт вводится в действие между данными объектами. Устанавливающее поведение может быть:

а) явным, получающимся из взаимодействий объектов, которые будут частью контракта, или

x004.jpg

Рисунок 2 - Соединение и связанные понятия

б) неявным, осуществляемым внешним агентом (например, объектом третьей стороны, не принимающим участие в контракте) или осуществленным в предыдущую эпоху.

Примечания

1 Согласование является примером частного вида устанавливающего поведения, при котором информация передается в процессе достижения общего взгляда на допустимое будущее поведение.

2 Публикация является примером частного вида устанавливающего поведения, при котором информация распространяется от одного объекта к ряду других.

3 Явное устанавливающее поведение должно включать в себя реализацию шаблона, связанного с контрактом. Оно может следовать за возможным согласованием/публикацией того, какой контракт должен быть установлен, какой шаблон должен быть реализован и с какими параметрами.

Определения термина из разных документов: Устанавливающее поведение

13.5.4 Устойчивость - свойство, которое имеет объект относительно данного характера отказов, если он способен не проявлять отказы этого характера.

Определения термина из разных документов: Устойчивость

6.2 Утверждение - наблюдаемый факт или состояние дел, относящееся к одной или нескольким категориям, относительно которых можно принимать или отрицать, что факт или состояние дел имеет место для этих категорий.

Определения термина из разных документов: Утверждение

9.5 Уточнение - процесс преобразования некоторой спецификации в более подробную. Новая спецификация может рассматриваться как уточнение исходной. Спецификации и их уточнения, обычно, не находятся в одном и том же описании системы. Что именно подразумевается под более подробными спецификациями, зависит от выбранного языка спецификаций.

Для каждой поведенческой совместимости, определенной с некоторым набором критериев (см. 9.4), метод спецификации должен допускать определение уточняющего взаимоотношения. Если шаблон X уточняет шаблон Y, то должна быть возможной замена объекта, реализованного из Y, объектом, реализованным из X, в наборе сред, зависящем от выбранного определения поведенческой совместимости. Уточняющие взаимоотношения не обязательно являются симметричными или транзитивными.

Определения термина из разных документов: Уточнение

13.1.1 Цепочка (действий) - последовательность действий в деятельности, когда для каждой смежной пары действий осуществление первого действия является необходимым для осуществления второго действия.

Определения термина из разных документов: Цепочка

9.11 Шаблон <Х> - спецификация общих характеристик совокупности <Х>¢ов, достаточно подробная для того, чтобы <Х> мог быть реализован с ее использованием. <Х> может быть чем-либо, что имеет тип (см. 9.7).

Шаблон <Х> является абстракцией совокупности <Х>¢ов.

Шаблон может специфицировать параметры, которые должны быть заданы на момент реализации.

Данное здесь определение является родовым; точная форма шаблона зависит от используемого метода спецификации. Типы параметров (когда они применяются) также зависят от используемого метода спецификации.

Шаблоны могут быть скомбинированы в соответствии с некоторым исчислением. Точная форма комбинации шаблонов зависит от используемого языка спецификаций.

Определения термина из разных документов: Шаблон <Х>

9.18 Экземпляр (типа) - <Х>, который соответствует типу.

Определения термина из разных документов: Экземпляр (типа)

6.4 Элементарная - категория является элементарной на данном уровне абстракции, если она не может быть разбита на более мелкие части на этом уровне абстракции.

Установление данного уровня абстракции может включать в себя идентификацию того, какие элементы являются элементарными.

Определения термина из разных документов: Элементарная

10.5 Эпоха - период времени, в течение которого объект демонстрирует конкретное поведение. Любой объект в любое время находится в единственной эпохе, но взаимодействующие объекты могут находиться в разных эпохах взаимодействия.

Изменение эпохи может быть связано с изменением типа объекта для того, чтобы поддержать эволюцию типа. Напротив, изменение эпохи может быть связано с фазой в поведении объекта постоянного типа.

Для того чтобы распределенные системы функционировали правильно, объекты, образующие ее конфигурацию, должны быть согласованы. Таким образом, по мере того, как система в целом проходит через ряд эпох, отдельные взаимодействующие объекты не должны находиться в эпохах, в которых их поведения столь существенно различаются, что их параллельная композиция приводит к отказу. Эта концепция обеспечивает формализацию понятий версии и расширяемости.

Примечание - Может потребоваться язык спецификаций для выражения:

а) способа пометки эпох;

б) последовательности эпох и того, должны ли все объекты пройти через всех членов этой последовательности;

в) правил для выведения эпохи композиции из эпох ее объектов, в частности, для конфигураций и составных систем;

г) того, является ли идентификация эпохи объекта необходимой частью состояния того объекта;

д) того, могут ли объекты провести согласование на основе идентификации их текущих эпох;

е) связи эпохи с понятиями локального и глобального времени.

Определения термина из разных документов: Эпоха

Словарь-справочник терминов нормативно-технической документации. . 2015.

Игры ⚽ Поможем сделать НИР

Полезное



Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»